Planning with Sensing Actions and Incomplete Information Using Logic Programming
نویسندگان
چکیده
We present a logic programming based conditional planner that is capable of generating both conditional plans and conformant plans in the presence of sensing actions and incomplete information. We prove the correctness of our implementation and show that our planner is complete with respect to the 0approximation of sensing actions and the class of conditional plans considered in this paper. Finally, we present preliminary experimental results and discuss further enhancements to the program.
منابع مشابه
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information
Sensing actions are important for planning with incomplete information. A solution for the frame problem for sensing actions was proposed by Scherl and Levesque. They adapt the possible world model of knowledge to situation calculus. In this paper we propose a high level language in the spirit of the language A, that allows sensing actions. We then present two approximation semantics of this la...
متن کاملKnowledge-Level Planning for Robot Task Planning and Human-Robot Interaction
A robot operating in a real-world domain often needs to do so with incomplete information about the state of the world. A robot with the ability to sense the world can also gather information to generate plans with contingencies, allowing it to reason about the outcome of sensed data at plan time. Moreover, the type of information sensed can vary greatly between domains; for instance, domains i...
متن کاملReasoning and Planning with Sensing Actions , Incomplete Information , and Static Causal Laws using Answer Set Programming PHAN
We extend the 0-approximation of sensing actions and incomplete information in (Son and Baral 2001) to action theories with static causal laws and prove its soundness with respect to the possible world semantics. We also show that the conditional planning problem with respect to this approximation is NP-complete. We then present an answer set programming based conditional planner, called ASCP, ...
متن کاملReasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
We extend the 0-approximation of sensing actions and incomplete information in (Son and Baral 2001) to action theories with static causal laws and prove its soundness with respect to the possible world semantics. We also show that the conditional planning problem with respect to this approximation is NP-complete. We then present an answer set programming based conditional planner, called ASCP, ...
متن کاملA Knowledge-Based Approach to Planning with Incomplete Information and Sensing
In this paper we present a new approach to the problem of planning with incomplete information and sensing. Our approach is based on a higher level, “knowledge-based”, representation of the planner’s knowledge and of the domain actions. In particular, in our approach we use a set of formulas from a first-order modal logic of knowledge to represent the planner’s incomplete knowledge state. Actio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004